From: Florian Müllner <fmuellner@gnome.org>
Date: Sat, 4 Apr 2020 00:35:12 +0000 (+0200)
Subject: ci: Document how to build the image
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~684^2^2~442
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=859927df3971ed199b5d972060594a97cd6a7e07;p=gnome-shell.git

ci: Document how to build the image

Updating the CI image is rare enough to not know the involved
commands by heart, so adding a comment like mutter did a while
ago makes perfect sense.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1177
---

diff --git a/.gitlab-ci/Dockerfile b/.gitlab-ci/Dockerfile
index 6ec6aff9f..4c7f1097d 100644
--- a/.gitlab-ci/Dockerfile
+++ b/.gitlab-ci/Dockerfile
@@ -1,3 +1,10 @@
+# Rebuild and push with
+#
+#     cd .gitlab-ci/
+#     podman build --format docker --no-cache -t registry.gitlab.gnome.org/gnome/gnome-shell/extension-ci:v1 .
+#     podman push registry.gitlab.gnome.org/gnome/gnome-shell/extension-ci:v1
+#
+
 FROM registry.fedoraproject.org/fedora:latest
 
 RUN dnf -y update && dnf -y upgrade && \